Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
341	A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation Kun Zhang Jonathan Sprinkle Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2014-10-10 07:33:46 Model checkers Automata theory Digital electronics Models of computation Formal methods Finite-state machine Promela Model checking Formal verification Electronic engineering Theoretical computer science Design
342	The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastian Maneth2,[removed]The University of Tokyo, [removed] Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-11-17 09:02:22 Computer science Turing machine Binary tree Non-deterministic Turing machine Symbol Computation tree Finite-state machine Theoretical computer science Automata theory Models of computation
343	Implementation and Indeterminacy Curtis Brown Department of Philosophy Trinity University One Trinity Place, San Antonio, TX 78212, USA [removed] Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:27:36 Computer science Computability theory Turing machine Computability Computable function Algorithm Register machine Abstract machine Finite-state machine Theoretical computer science Theory of computation Models of computation
344	The Complexity of Tree Transducer Output Languages FSTTCS 2008, Bengaluru Kazuhiro Inaba Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-06-23 09:15:01 Models of computation Finite-state machine Regular language DSPACE Finite state transducer Theoretical computer science Automata theory Formal languages
345	Microsoft Word - Ticketfly-Case-Study-v1.4.docx Add to Reading List Source URL: downloads.typesafe.com Language: English - Date: 2013-10-16 21:38:54 Web application frameworks Fault-tolerant computer systems Parallel computing Scala Finite-state machine Actor model Type safety Computer cluster Play Framework Computing Java platform Concurrent computing
346	Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp[removed]The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastia Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-11-17 09:02:18 Computer science Binary tree Computation tree Symbol Finite-state machine Non-deterministic Turing machine Automata theory Theoretical computer science Models of computation
347	US 20080229276A1[removed]United States (12) Patent Application Publication (10) Pub. No.: US[removed]A1 (43) Pub. Date: Add to Reading List Source URL: patentimages.storage.googleapis.com Language: English - Date: 2013-07-03 07:36:55 Systems science Model transformation Finite-state machine Metamodeling Process Action Unified Modeling Language Software engineering Software development
348	ISSN[removed]Overload Journal of the ACCU C++ Special Interest Group Issue 24 Add to Reading List Source URL: accu.org Language: English - Date: 2010-10-21 16:24:02 Infographics Software engineering Information science Communication design Automata theory State diagram Finite-state machine Unified Modeling Language Event UML diagrams Models of computation Diagrams
349	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
350	Action Selection and Individuation in Agent Based Modelling Joanna J. Bryson University of Bath Department of Computer Science Artificial models of natural Intelligence (AmonI) Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2004-04-26 12:17:49 Simulation Multi-agent systems Ethology Artificial intelligence Reactive planning Action selection Agent-based model Finite-state machine Social simulation Science Models of computation Scientific modeling

UPDATE